sentential calculus
英
美
网络 句子演算; 语句演算
双语例句
- Two Intuitionistic Systems of Sentential Calculus
命题演算的两个直觉主义系统 - The authors give a brief introduction to Hilbert's type intuitionistic system of first order sentential calculus, and prove some theorems of this system by logical deduction method. The purpose of this paper is to facilitate understanding, studying and applying the concept of the intuitionistic system.
简要介绍了一阶命题演算的希尔伯特型直觉主义系统，运用逻辑演绎的方法证明了此系统的一些定理，其目的在于加深对直觉主义系统中概念的理解，便于对此系统的进一步研究及应用。